Homotopi type teori er et grunnleggende språk for å gjøre homotopi invariant matematikk, og dermed ville en forventet at det var et naturlig rammeverk å studere (∞,1)-kategorier i. Desverre er det for øyeblikket et åpent ...